#! /bin/bash
xsltproc doc.xsl manual.xml >manual.html
xsltproc doc_php.xsl manual.xml >index.php
